21![Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti](https://www.pdfsearch.io/img/2010d7b4e01ca3c5bad5c212daab3eda.jpg) | Add to Reading ListSource URL: www.dsi.unive.itLanguage: English - Date: 2009-01-23 08:18:42
|
---|
22![A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania](https://www.pdfsearch.io/img/5c04b720f67bb1bebfeffb7815d43db3.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2007-08-08 12:01:23
|
---|
23![Complementary balanced words over an arbitrary finite alphabet Aviezri S. Fraenkel∗ May 23, 2005 Department of Computer Science and Applied Mathematics Weizmann Institute of Science Complementary balanced words over an arbitrary finite alphabet Aviezri S. Fraenkel∗ May 23, 2005 Department of Computer Science and Applied Mathematics Weizmann Institute of Science](https://www.pdfsearch.io/img/44dc0b44ed0f47dd533f6e1be352aabd.jpg) | Add to Reading ListSource URL: www.wisdom.weizmann.ac.ilLanguage: English - Date: 2005-05-23 05:22:59
|
---|
24![A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic](https://www.pdfsearch.io/img/6b1281181287f34e15df462325b88d60.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2014-06-16 06:24:47
|
---|
25![Iterative Context Bounding for Systematic Testing of Multithreaded Programs Madan Musuvathi Shaz Qadeer Iterative Context Bounding for Systematic Testing of Multithreaded Programs Madan Musuvathi Shaz Qadeer](https://www.pdfsearch.io/img/ef34ecca068f1947a5bf21e23fb482aa.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2009-07-21 20:08:22
|
---|
26![—PREPRINT— Supplementary Material to “Cooled and Relaxed Survey Propagation for MRFs” Hai Leong Chieu1,2 , Wee Sun Lee2 —PREPRINT— Supplementary Material to “Cooled and Relaxed Survey Propagation for MRFs” Hai Leong Chieu1,2 , Wee Sun Lee2](https://www.pdfsearch.io/img/c3ec34ca24e5c4958543febd02da2726.jpg) | Add to Reading ListSource URL: www.comp.nus.edu.sgLanguage: English - Date: 2007-10-02 20:48:29
|
---|
27![Internship report : Extending M LF with Higher-Order Types Internship report : Extending M LF with Higher-Order Types](https://www.pdfsearch.io/img/49aacdcbbb1e98298eef0745c19bedc2.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2013-05-30 10:51:56
|
---|
28![Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015](https://www.pdfsearch.io/img/17662a6850635ac0027785e571d10ce7.jpg) | Add to Reading ListSource URL: logic.berkeley.eduLanguage: English - Date: 2015-03-07 22:58:09
|
---|
29![A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg,](https://www.pdfsearch.io/img/581754827d594d1615667722a690c641.jpg) | Add to Reading ListSource URL: www2.tcs.ifi.lmu.deLanguage: English - Date: 2014-08-29 19:03:11
|
---|
30![Functional Genetic Programming and Exhaustive Program Search with Combinator Expressions Forrest Briggs <> Melissa O’Neill <> August 19, 2007 Functional Genetic Programming and Exhaustive Program Search with Combinator Expressions Forrest Briggs <> Melissa O’Neill <> August 19, 2007](https://www.pdfsearch.io/img/17cb3e2306a8ff612782ce3df96cc6d9.jpg) | Add to Reading ListSource URL: www.cs.hmc.eduLanguage: English - Date: 2007-08-19 16:32:34
|
---|